Cell Decomposition and Classification of Definable Sets in P-Optimal Fields
نویسندگان
چکیده
We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef’s paper [Den84]. We derive from it the existence of definable Skolem functions and strong p-minimality, thus providing a new proof of the main result of [vdDHM99]. Then we turn to strongly p-optimal field satisfying the Extreme Value Property – a property which in particular holds in fields which are elementarily equivalent to a p-adic one. For such fields K, we prove that every definable subset of K×K whose fibers are inverse images by the valuation of subsets of the value group, are semi-algebraic. Combining the two we get a preparation theorem for definable functions on p-optimal fields satisfying the Extreme Value Property, from which it follows that infinite sets definable over such fields are isomorphic iff they have the same dimension.
منابع مشابه
Presburger sets and p-minimal fields
We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a neg...
متن کاملCell Decomposition and Dimension Functions in First-order Topological Structures
The notion of a cell and that of a cell decomposition has been a central one in the study of certain first-order theories. A cell is a particular kind of definable set. The notion of a cell was first explicitly considered in [8], in the context of the theory of real closed fields. Collins defined a class of cells in this context, and showed that every definable subset of a real closed field is ...
متن کاملUniform p-adic cell decomposition and local zeta functions
The purpose of this paper is to give a cell decomposition for p-adic fields, uniform in p. This generalizes a cell decomposition for fixed p, proved by Denef [7], [9]. We also give some applications of our cell decomposition. A first implication is a uniform quantifier elimination for p-adic fields. Beiair [2], Delon [6] and Weispfenning [16] obtained quantifier elimination in other languages, ...
متن کاملCutting lemma and Zarankiewicz's problem in distal structures
We establish a cutting lemma for definable families of sets in distal structures, as well as the optimality of the distal cell decomposition for definable families of sets on the plane in ominimal expansions of fields. Using it, we generalize the results in [10] on the semialgebraic planar Zarankiewicz problem to arbitrary o-minimal structures, in particular obtaining an o-minimal generalizatio...
متن کاملCell decomposition for P-minimal fields
In [S-vdD] P. Scowcroft and L. van den Dries prove a Cell Decomposition Theorem for p-adically closed fields. We work here with the notion of P -minimal fields defined by D. Haskell and D. Macpherson in [H-Mph]. We prove that a P -minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [M].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 82 شماره
صفحات -
تاریخ انتشار 2017